Tipski sistemi za kontrolu memorije i prava pristupa

Three issues will be elaborated and disussed in the proposed thesis. The first is administration and control of data access rights in networks with XML data, with emphasis on data security. The second is the administration and control of access rights to data in computer networks with RDF data, with emphasis on data privacy. The third is prevention of errors and memory leaks, as well as communication errors, generated by programs written in Sing # language in the presence of exceptions. For all three issues, there will be presented formal models with corresponding type systems and showed the absence of undesired behavior i.e. errors in networks or programs.У тези су разматрана три проблема. Први је администрација и контрола права приступа података у рачунарској мрежи са XML подацима, са нагласком на безбедости посматраних података. Други је администрација и котрола права приступа подацима у рачунарској мрежи са RDF подацима, са нагласком на приватности посматраних података. Трећи је превенција грешака и цурења меморије, као и грешака у комуникацији генерисаним програмима написаних на језику Sing# у којима су присутни изузеци. За сва три проблема биће предложени формални модели и одговарајући типски системи помоћу којих се показује одсуство неповољних понашања тј. грешака у мрежама односно програмима.U tezi su razmatrana tri problema. Prvi je administracija i kontrola prava pristupa podataka u računarskoj mreži sa XML podacima, sa naglaskom na bezbedosti posmatranih podataka. Drugi je administracija i kotrola prava pristupa podacima u računarskoj mreži sa RDF podacima, sa naglaskom na privatnosti posmatranih podataka. Treći je prevencija grešaka i curenja memorije, kao i grešaka u komunikaciji generisanim programima napisanih na jeziku Sing# u kojima su prisutni izuzeci. Za sva tri problema biće predloženi formalni modeli i odgovarajući tipski sistemi pomoću kojih se pokazuje odsustvo nepovoljnih ponašanja tj. grešaka u mrežama odnosno programima

Tipski sistemi za kontrolu memorije i prava pristupa

Three issues will be elaborated and disussed in the proposed thesis. The first is administration and control of data access rights in networks with XML data, with emphasis on data security. The second is the administration and control of access rights to data in computer networks with RDF data, with emphasis on data privacy. The third is prevention of errors and memory leaks, as well as communication errors, generated by programs written in Sing # language in the presence of exceptions. For all three issues, there will be presented formal models with corresponding type systems and showed the absence of undesired behavior i.e. errors in networks or programs.У тези су разматрана три проблема. Први је администрација и контрола права приступа података у рачунарској мрежи са XML подацима, са нагласком на безбедости посматраних података. Други је администрација и котрола права приступа подацима у рачунарској мрежи са RDF подацима, са нагласком на приватности посматраних података. Трећи је превенција грешака и цурења меморије, као и грешака у комуникацији генерисаним програмима написаних на језику Sing# у којима су присутни изузеци. За сва три проблема биће предложени формални модели и одговарајући типски системи помоћу којих се показује одсуство неповољних понашања тј. грешака у мрежама односно програмима.U tezi su razmatrana tri problema. Prvi je administracija i kontrola prava pristupa podataka u računarskoj mreži sa XML podacima, sa naglaskom na bezbedosti posmatranih podataka. Drugi je administracija i kotrola prava pristupa podacima u računarskoj mreži sa RDF podacima, sa naglaskom na privatnosti posmatranih podataka. Treći je prevencija grešaka i curenja memorije, kao i grešaka u komunikaciji generisanim programima napisanih na jeziku Sing# u kojima su prisutni izuzeci. Za sva tri problema biće predloženi formalni modeli i odgovarajući tipski sistemi pomoću kojih se pokazuje odsustvo nepovoljnih ponašanja tj. grešaka u mrežama odnosno programima

Tipski sistemi za kontrolu memorije i prava pristupa

Three issues will be elaborated and disussed in the proposed thesis. The first is administration and control of data access rights in networks with XML data, with emphasis on data security. The second is the administration and control of access rights to data in computer networks with RDF data, with emphasis on data privacy. The third is prevention of errors and memory leaks, as well as communication errors, generated by programs written in Sing # language in the presence of exceptions. For all three issues, there will be presented formal models with corresponding type systems and showed the absence of undesired behavior i.e. errors in networks or programs.У тези су разматрана три проблема. Први је администрација и контрола права приступа података у рачунарској мрежи са XML подацима, са нагласком на безбедости посматраних података. Други је администрација и котрола права приступа подацима у рачунарској мрежи са RDF подацима, са нагласком на приватности посматраних података. Трећи је превенција грешака и цурења меморије, као и грешака у комуникацији генерисаним програмима написаних на језику Sing# у којима су присутни изузеци. За сва три проблема биће предложени формални модели и одговарајући типски системи помоћу којих се показује одсуство неповољних понашања тј. грешака у мрежама односно програмима.U tezi su razmatrana tri problema. Prvi je administracija i kontrola prava pristupa podataka u računarskoj mreži sa XML podacima, sa naglaskom na bezbedosti posmatranih podataka. Drugi je administracija i kotrola prava pristupa podacima u računarskoj mreži sa RDF podacima, sa naglaskom na privatnosti posmatranih podataka. Treći je prevencija grešaka i curenja memorije, kao i grešaka u komunikaciji generisanim programima napisanih na jeziku Sing# u kojima su prisutni izuzeci. Za sva tri problema biće predloženi formalni modeli i odgovarajući tipski sistemi pomoću kojih se pokazuje odsustvo nepovoljnih ponašanja tj. grešaka u mrežama odnosno programima

Dynamic Role Authorization in Multiparty Conversations

Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which different sites may act on behalf of a single role. It is then crucial to control the roles that the different parties are authorized to represent, including the case in which role authorizations are determined only at runtime. Building on previous work on conversation types with flexible role assignment, here we report initial results on a typed framework for the analysis of multiparty communications with dynamic role authorization and delegation. In the underlying process model, communication prefixes are annotated with role authorizations and authorizations can be passed around. We extend the conversation type system so as to statically distinguish processes that never incur in authorization errors. The proposed static discipline guarantees that processes are always authorized to communicate on behalf of an intended role, also covering the case in which authorizations are dynamically passed around in messages.Comment: In Proceedings BEAT 2014, arXiv:1408.556

A Typed Model for Dynamic Authorizations

Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties, but the authorization to access a resource may be dynamically granted/yielded. We describe ongoing work on a model for specifying communication and dynamic authorization handling. We build upon the pi-calculus so as to enrich communication-based systems with authorization specification and delegation; here authorizations regard channel usage and delegation refers to the act of yielding an authorization to another party. Our model includes: (i) a novel scoping construct for authorization, which allows to specify authorization boundaries, and (ii) communication primitives for authorizations, which allow to pass around authorizations to act on a given channel. An authorization error may consist in, e.g., performing an action along a name which is not under an appropriate authorization scope. We introduce a typing discipline that ensures that processes never reduce to authorization errors, even when authorizations are dynamically delegated.Comment: In Proceedings PLACES 2015, arXiv:1602.0325

Stream-based dynamic data race detection

Detecting data races in modern code executing on multicore processors is challenging. Instrumentation-based techniques for race detection not only have a high performance impact, but also are not likely to be certified for safety-critical systems. This paper presents a data race detector based on the well-known lockset algorithm in the runtime verification language TeSSLa, which is a stream-based specification using dynamic data structures to record lock operations and memory accesses. Such a specification can then be instantiated with particular parameters to make it suitable for the more limited planned monitoring using field- programmable gate arrays

Farmaceutsko-tehnološki aspekti savremenih kardiovaskularnih lekova

Contemporary trends in dosage form development for cardiovascular therapeutics are orientated toward rationalization and individualization of drug administration with the achievement of good compliance. Therefore, novelties in formulation development of cardiovascular drugs are directed towards the modified drug delivery systems. There is a number and variety of new technologies employed with this respect. In the present paper, and overview of the most important technologies applied in commercially available drug products within the group of cardiovascular drugs is given, such as extended release tablets/capsules, multiparticulate drug delivery systems, pulsatile drug delivery and OrosTM technology.Savremen farmaceutsko-tehnološki pristup formulaciji preparata u terapiji kardiovaskularnih oboljenja vezan je, pre svega, za individualizaciju i racionalizaciju terapije uz obezbeđenje dobre prihvatljivosti od strane pacijenta i smanjenje neželjenih efekata. U skladu sa tim, novine u formulaciji farmaceutskih oblika sa kardiovaskularnim lekovima odnose se, uglavnom, na razvoj novih, 'naprednih' terapijskih sistema, tj. preparata sa modifikovanim oslobađanjem lekovite supstance. U radu je dat je pregled tehnologija zastupljenih u komercijalno dostupnim preparatima koji se koriste u terapiji kardiovaskularnih oboljenja, s posebnim osvrtom na tablete/kapsule sa modifikovanim oslobađanjem, višečestične terapijske sisteme, preparate sa pulsnim oslobađanjem lekovite supstance i OrosTM terapijske sisteme

Effect of preceding crops nitrogen fertilization and cobalt and molybdenum application on yield and quality of soybean grain

The three-year study was conducted on a calcareous chernozem experimental plot of the Institute of Field and Vegetable Crops. The experimental field trial was designed as corn soybean wheat crop rotation and performed in four replications. The aim of this study was to determine the effects of soybean seed inoculation with microbiological fertilizer, seed treatment with cobalt and molybdenum, as well as the effect of preceding maize crop fertilization with different dosages of nitrogen, on soybean yield and its protein and oil contents. This would allow defining optimal seed treatment that would enable production of high and stable yield of quality soybeans with the rationalization of the use of mineral nitrogen fertilizers. The application of the largest dose of 250 kg N ha(-1) was responsible for significantly (by 12.11%) higher yields compared with the control. Grain yield was not affected by the application of cobalt and molybdenum. No significant yield increase was found when seed that was treated only with Nitragin. The contents of protein and oil were statistically very significantly different between the three experimental years because the investigated qualitative properties of grain are highly dependent on hydrothermal conditions. The protein content in the soybean increased very significantly following the increasing amounts of nitrogen. Very significant effect of seed treatment on protein and oil content was found. The two-field system of maize and wheat cultivation should be upgraded to the three-field system: maize - soybean - wheat. The use of cobalt and molybdenum in slightly alkaline and alkaline soils did not contribute to the increase of grain yield or protein content in the grain. However, it caused very significant increase in soybean oil content on slightly alkaline soils. The effect of the increase was 1.77%

The Effect of LASIK Procedure on Peripapillary Retinal Nerve Fiber Layer and Macular Ganglion Cell-Inner Plexiform Layer Thickness in Myopic Eyes

Purpose. To evaluate the effect of applied suction during microkeratome-assisted laser in situ keratomileusis (LASIK) procedure on peripapillary retinal nerve fiber layer (RNFL) thickness as well as macular ganglion cell-inner plexiform layer (GC-IPL) thickness. Methods. 89 patients (124 eyes) with established myopia range from -3.0 to -8.0 diopters and no associated ocular diseases were included in this study. RNFL and GC-IPL thickness measurements were performed by spectral domain optical coherence tomography (SD OCT) one day before LASIK and at 1 and 6 months postoperatively. Results. Mean RNFL thickness prior to LASIK was 93.86 +/- 12.17 mu m while the first month and the sixth month postoperatively were 94.01 +/- 12.04 mu m and 94.46 +/- 12.27 mu m, respectively. Comparing results, there is no significant difference between baseline, one month, and six months postoperatively for mean RNFL (p > 0.05). Mean GC-IPL thickness was 81.70 +/- 7.47 mu m preoperatively with no significant difference during the follow-up period (82.03 +/- 7.69 mu m versus 81.84 +/- 7.64 mu m; p > 0.05). Conclusion. RNFL and GC-IPL complex thickness remained unaffected following LASIK intervention